Validating UML simulation models with model-level unit tests

نویسندگان

  • Isabel Dietrich
  • Falko Dressler
  • Winfried Dulz
  • Reinhard German
چکیده

We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform UML models into executable simulation code. Typically, both functionality and behavior are modeled in UML, whereas debugging and validation are mainly an issue of investigating the executable code. We contribute to the field of model-driven simulation by defining a novel testing method. Our method allows to use UML to specify model-level unit tests in order to validate simulation models defined with UML. In addition, we describe the translation, execution and evaluation of these tests within the framework Syntony. In this paper, we show the principles of this method and discuss its use in the scope of our simulation framework Syntony as well as its general applicability. Our implementation allows to compile and to execute the test code in combination with the simulation code. In spite of the high abstraction level, the full functionality of unit testing is provided and the modeler can rely on automated test case generation and execution. After execution of the tests, the achieved test coverage is computed as a measure for the test quality.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers

Testing is one important way of validating and verifying the behaviour of software artefacts. With the use of Model Based Engineering comes the need to ensure that the implementation derived from models actually behaves like speci ed in the corresponding models. In this thesis, we generate unit tests from UML activity diagrams modelling C components. We use symbolic execution to transform embed...

متن کامل

Aspect Oriented UML to ECORE Model Transformation

With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...

متن کامل

Experimental and Numerical Investigation of Bottom Outlet Hydraulic Model

Using experimental models along with conducting numerical analysis have been widely used in performance recognition and optimization of hydraulic equipments. Numerical modeling has lower cost rather than experimental one; however practical tests are commonly used because of the hydraulic structure importance especially in dams. Meanwhile numerical methods could be used for future designs throug...

متن کامل

Defining and validating transformations of UML models

With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such tr...

متن کامل

Towards Integrating Modeling and Programming Languages: The Case of UML and Java

Today, modeling and programming constitute separate activities carried out using modeling respectively programming languages, which are neither well integrated with each other nor have a one-to-one correspondence. As a consequence, platform and implementation details, such as the usage of existing software components and libraries, are usually introduced on code level only. This impedes accurat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010